The following pages link to (Q3122692):
Displaying 50 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- An update on epistemic modals (Q266669) (← links)
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated (Q266877) (← links)
- The dynamic turn in quantum logic (Q383006) (← links)
- Evidence sensitivity in weak necessity deontic modals (Q484149) (← links)
- Agreeing to disagree in probabilistic dynamic epistemic~logic (Q484932) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Wittgensteinian predicate logic (Q558413) (← links)
- Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Prolegomena to dynamic logic for belief revision (Q813422) (← links)
- The information in intuitionistic logic (Q833032) (← links)
- Logical theories of intention and the database perspective (Q843770) (← links)
- Connectives stranger than tonk (Q853814) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Complete axiomatizations for quantum actions (Q861649) (← links)
- Dynamic doxastic logic: why, how, and where to? (Q885520) (← links)
- Logic and reasoning: do the facts matter? (Q934828) (← links)
- A dynamic-logical perspective on quantum behavior (Q941738) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Von Wright's ``The logic of preference'' revisited (Q987481) (← links)
- Diversity of agents and their interaction (Q1006512) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Modal correspondence for models (Q1267083) (← links)
- Modality, bisimulation and interpolation in infinitary logic (Q1295444) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Modeling correlated information change: from conditional beliefs to quantum conditionals (Q1701692) (← links)
- Causal dynamic inference (Q1935591) (← links)
- On logics with two variables (Q1960419) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Free choice impossibility results (Q1986080) (← links)
- Might-beliefs and asymmetric disagreement (Q2052638) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Sequential dynamic logic (Q2255197) (← links)
- Natural language and logic of agency (Q2255238) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Type logics and pregroups (Q2467212) (← links)
- What might be the case after a change in view (Q2499291) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Hybrid logics: characterization, interpolation and complexity (Q2758042) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Is Unsaying Polite? (Q2908789) (← links)
- Mathematics of Public Announcements (Q3094007) (← links)
- Talking About Knowledge (Q3299839) (← links)
