The following pages link to First-order modal logic (Q1870904):
Displaying 50 items.
- Proof-theory and semantics for a theory of definite descriptions (Q2142067) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- The interplay between transitivity and completeness: generalized \textsf{NaP}-preferences (Q2154163) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Partly free semantics for some Anderson-like ontological proofs (Q2255183) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Action type deontic logic (Q2258815) (← links)
- Logical geometries and information in the square of oppositions (Q2258819) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation (Q2333411) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Hintikka, free logician. Singular terms in world lines semantics (Q2334654) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- The problem of cross-world predication (Q2410889) (← links)
- How to Lewis a Kripke-Hintikka (Q2442134) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- Understanding the Brandenburger-Keisler paradox (Q2464651) (← links)
- Approximations of modal logics: \(\mathbf K\) and beyond (Q2478556) (← links)
- Varying modal theories (Q2639843) (← links)
- Names and their kind of rigidity (Q2667066) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Binding modalities (Q2804339) (← links)
- Higher-order syntax and saturation algorithms for hybrid logic (Q2867945) (← links)
- Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948) (← links)
- HOL Based First-Order Modal Logic Provers (Q2870120) (← links)
- A Modal Logic of Knowledge, Belief, and Estimation (Q2938532) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD (Q2940875) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- The Logic of Justification (Q2971696) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Mathematics of Public Announcements (Q3094007) (← links)
- Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968) (← links)
- Interpolation for first order S5 (Q3149986) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- On Height and Happiness (Q3299847) (← links)
- (Q3384090) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- C. I. Lewis on Possible Worlds (Q3401361) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Intuitionistic Epistemology and Modal Logics of Verification (Q3457712) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- Translating a Counterpart Theory into a Quantified Modal Language with Descriptors (Q3457731) (← links)
- Logical, Ontological and Cognitive Aspects of Object Types and Cross-World Identity with Applications to the Theory of Conceptual Spaces (Q3460228) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- (Q4325547) (← links)
- (Q4342019) (← links)
- A unified completeness theorem for quantified modal logics (Q4451729) (← links)
- A note on Barcan formula (Q4586237) (← links)
