The following pages link to First-order modal logic (Q1870904):
Displaying 50 items.
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- The Fitch-Church paradox and first order modal logic (Q320315) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Metalogical decorations of logical diagrams (Q346763) (← links)
- The logic of uncertain justifications (Q392291) (← links)
- What could be caused must actually be caused (Q408363) (← links)
- Prefixed tableaus and nested sequents (Q409323) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- First order expressivist logic (Q485622) (← links)
- Defining global supervenience (Q488354) (← links)
- Formal reconstructions of St. Anselm's ontological argument (Q514608) (← links)
- Monotonic and non-monotonic embeddings of Anselm's proof (Q523299) (← links)
- First-order intensional logic (Q598308) (← links)
- Concrete possible worlds and counterfactual conditionals: Lewis versus Williamson on modal knowledge (Q625713) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- Possible worlds in use (Q647416) (← links)
- Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) (Q723644) (← links)
- Unifying quantified modal logic (Q812104) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic (Q859844) (← links)
- Epistemic modals and informational consequence (Q987480) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- The slingshot argument and sentential identity (Q1015494) (← links)
- The tense logic for Master Argument in Prior's reconstruction (Q1037591) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
- Partial semantics for quantified modal logic (Q1633238) (← links)
- Rationalizability and logical inference (Q1651238) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Knowledge as \textit{de re} true belief? (Q1708790) (← links)
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Actuality, tableaux, and two-dimensional modal logics (Q1797901) (← links)
- Modal logic, truth, and the master modality. (Q1857362) (← links)
- Effective completeness theorems for modal logic (Q1877094) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Free quantified epistemic logics (Q2016054) (← links)
- More aboutness in imagination (Q2037300) (← links)
- The actual future is open (Q2052151) (← links)
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- A binary quantifier for definite descriptions for cut free free logics (Q2115288) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Proof-theory and semantics for a theory of definite descriptions (Q2142067) (← links)
