Pages that link to "Item:Q5728442"

The following pages link to Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi (Q5728442):

Displaying 50 items.

• The intrinsic quantum nature of Nash equilibrium mixtures (Q263084) (← links)
• Current trends in substructural logics (Q266641) (← links)
• Fuzzy terms (Q277347) (← links)
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
• A complete proof system for propositional projection temporal logic (Q391223) (← links)
• The logic of uncertain justifications (Q392291) (← links)
• Belief change in branching time: AGM-consistency and iterated revision (Q421352) (← links)
• Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
• The fundamental theorem of world theory (Q484109) (← links)
• Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
• Agnostic hyperintensional semantics (Q514078) (← links)
• John McCarthy's legacy (Q543573) (← links)
• Ternary relations and relevant semantics (Q598309) (← links)
• Der Verband der normalen verzweigten Modallogiken (Q599049) (← links)
• Possible worlds in use (Q647416) (← links)
• Reasoning about collectively accepted group beliefs (Q652734) (← links)
• Graded hypothesis theories (Q673394) (← links)
• An efficient approach for abstraction-refinement in model checking (Q690465) (← links)
• Interpolation in weakly transitive modal logics (Q694243) (← links)
• Dynamic topological logic (Q705534) (← links)
• Tensed modalities (Q758993) (← links)
• Modal tableau calculi and interpolation (Q798647) (← links)
• An essay in combinatory dynamic logic (Q809068) (← links)
• A simple modal logic for belief revision (Q813420) (← links)
• Rational choice and AGM belief revision (Q840824) (← links)
• Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
• A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic (Q859844) (← links)
• The modal logic of continuous functions on Cantor space (Q862352) (← links)
• Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
• Worlds, models and descriptions (Q863186) (← links)
• A logical characterization of extensive games with short sight (Q896918) (← links)
• Information dependent games: can common sense be common knowledge? (Q900144) (← links)
• An NP-complete fragment of fibring logic (Q905999) (← links)
• Some notes on Church's thesis and the theory of games (Q911776) (← links)
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
• Truth as an epistemic ideal (Q928710) (← links)
• Grades of probability modality in the law of evidence (Q969425) (← links)
• A splitting logic in NExt(KTB) (Q995667) (← links)
• Kripke incomplete logics containing KTB (Q995674) (← links)
• Solving the \$100 modal logic challenge (Q1006738) (← links)
• Dynamic topological S5 (Q1024554) (← links)
• On what ontology is and not-is (Q1028676) (← links)
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic (Q1028901) (← links)
• An epistemic model of an agent who does not reflect on reasoning processes (Q1038265) (← links)
• Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
• Interpreting network formalisms (Q1056560) (← links)
• Noncumulative dialectical models and formal dialectics (Q1061730) (← links)
• Carnapian extensions of S5 (Q1066883) (← links)
• Formal theories of knowledge in AI and robotics (Q1079021) (← links)
• A theory of modal dialectics (Q1084388) (← links)