The following pages link to First-order modal logic (Q1870904):
Displaying 39 items.
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- Structures of Oppositions in Public Announcement Logic (Q4915594) (← links)
- Property-Based Testing for Spark Streaming (Q4957189) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- A Classical Logic of Existence and Essence (Q5006840) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- THE LOGIC OF SEQUENCE FRAMES (Q5065138) (← links)
- (Q5090984) (← links)
- (Q5092390) (← links)
- Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic (Q5126200) (← links)
- Boolean considerations on John Buridan's octagons of opposition (Q5208117) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) (← links)
- Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535) (← links)
- (Q5536236) (← links)
- REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943) (← links)
- THE AMBIGUITY OF KNOWABILITY (Q5737948) (← links)
- THE POTENTIAL IN FREGE’S THEOREM (Q6045102) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
- A novel approach to equality (Q6142508) (← links)
- Modal preference structures (Q6167809) (← links)
- Names and quantifiers: bringing them together in classical logic (Q6169325) (← links)
- Dynamic Reconfiguration via Typed Modalities (Q6488473) (← links)
- First-order modal logic (Q6535436) (← links)
- A cut-free, sound and complete Russellian theory of definite descriptions (Q6541147) (← links)
- Towards proof-theoretic formulation of the general theory of term-forming operators (Q6541148) (← links)
- Exact truthmaker semantics for modal logics (Q6544541) (← links)
- Monotonic opaqueness in deontic contexts (Q6601687) (← links)
- Proof-theoretic results of common sense modal predicate calculi (Q6601690) (← links)
- Quantifiers and conceptual existence (Q6601782) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
- Modelling afthairetic modality (Q6606840) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
- \textit{De re} updates (Q6642569) (← links)
