Pages that link to "Item:Q3265659"

The following pages link to A completeness theorem in modal logic (Q3265659):

Displaying 50 items.

• Current trends in substructural logics (Q266641) (← links)
• Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
• Does the deduction theorem fail for modal logic? (Q383061) (← links)
• Kripke modelling and verification of temporal specifications of a multiple UAV system (Q434449) (← links)
• Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
• The fundamental theorem of world theory (Q484109) (← links)
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
• Abduction in economics: a conceptual framework and its model (Q484912) (← links)
• On a derivation of the necessity of identity (Q484964) (← links)
• John McCarthy's legacy (Q543573) (← links)
• Kripke models for classical logic (Q636371) (← links)
• Contextual deduction theorems (Q647412) (← links)
• Possible worlds in use (Q647416) (← links)
• Proof analysis in intermediate logics (Q661286) (← links)
• Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
• Revising Carnap's semantic conception of modality (Q694493) (← links)
• An essay in combinatory dynamic logic (Q809068) (← links)
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
• Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
• The modal logic of continuous functions on Cantor space (Q862352) (← links)
• Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
• A logical expression of reasoning (Q885515) (← links)
• An epistemic model of logic programming (Q918192) (← links)
• Formal reasoning with rough sets in multiple-source approximation systems (Q962650) (← links)
• Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
• Dynamic topological S5 (Q1024554) (← links)
• Reasoning about knowledge of unawareness (Q1036579) (← links)
• Interpreting network formalisms (Q1056560) (← links)
• Carnapian extensions of S5 (Q1066883) (← links)
• Where gamma fails (Q1071752) (← links)
• Some kinds of modal completeness (Q1151886) (← links)
• A Hintikka possible worlds model for certainty levels in medical decision making (Q1157284) (← links)
• Classical relevant logics. I (Q1221097) (← links)
• Classical relevant logics. II (Q1221098) (← links)
• Normal modal model theory (Q1221738) (← links)
• Investigations into quantified modal logic. I (Q1227597) (← links)
• Five faces of minimality (Q1313080) (← links)
• A logical query language for hypermedia systems (Q1328531) (← links)
• Towards automating duality (Q1343394) (← links)
• Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
• \textit{De re} language, \textit{de re} eliminability, and the essential limits of both (Q1366763) (← links)
• Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
• Squares in fork arrow logic (Q1402582) (← links)
• Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
• Mathematical modal logic: A view of its evolution (Q1422628) (← links)
• Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
• The genesis of possible worlds semantics (Q1610613) (← links)
• The broadest necessity (Q1633208) (← links)
• Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
• On the decision problem for MELL (Q1733062) (← links)