#modal_logic
These are public posts tagged with #modal_logic. You can interact with them if you have an account anywhere in the fediverse.
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scott
this open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
Notes on Kurt Gödel’s modal ontological argument and…
SpringerLinkContextual Modal Type Theory
(2008) : Nanevski, Aleksandar Pfenning,...
DOI: https://doi.org/10.1145/1352582.1352591
#intuitional_logic #context #modal_logic #type_theory #my_bibtex
Handbook of Spatial Logics
(2007) : Aiello, Marco Pratt-Hartmann, ...
DOI: https://doi.org/10.1007/978-1-4020-5587-4
#geometry #modal_logic #spatial_logic #topology #logic #my_bibtex
Sequence Semantics for Normative Agents
(2016) : Governatori, Guido et al
DOI: https://doi.org/10.1007/978-3-319-44832-9_14
#BDI #deontic_logic #norms #__important #commitment #modal_logic #sequence #MAS #agents #intention #semantics #my_bibtex
Unification in Modal Logic Alt1
(2016) : Balbiani, Philippe Tinchev, Ti...
url: http://www.aiml.net/volumes/volume11/
#Alt1 #modal_logic #unification_type #computability_of_unifiability #my_bibtex
Combining Dynamic Logic With Doxastic Modal Logics
(2003) : Renate A. Schmidt and Dmitry Tishkovsky
url: http://www.aiml.net/volumes/volume4/
#doxastic_logic #modal_logic #propositional_dynamic_logic #temporal_logic
#my_bibtex