DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Multimodal logic
Multimodal logic
29 Alethic Modal Logics and Semantics
Principles of Knowledge, Belief and Conditional Belief Guillaume Aucher
A Categorical Aspect of the Analogy Between Quan- Tifiers and Modalities
Multimodal Logic Programminrr U Using Equational and Order-Sorted Logic*
A Brief Introduction to Modal Logic
The Epistemic View of Concurrency Theory Sophia Knight
Multimodal Separation Logic for Reasoning About Operational Semantics
March 29 – April 07, 2013 Rio De Janeiro, Brazil
16 Feb 2004 Esnn.For Model-Checkin Representation, Reasoning
Epistemic Logic and Information Update
Bimodal Logics with Aweakly Connected'component Without The
Modality in Dialogue: Planning, Pragmatics and Computation
A Path Characterization of Validity for Multimodal Logics
Multimodal Separation Logic for Reasoning About Operational Semantics
Multimodal Logic Programming∗
Elementary Multimodal Logics
Programming in Metric Temporal Logic'
Modal Logics
Top View
Modeling Intelligent Agent Beliefs in a Card Game Scenario [8454-68]
Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics
Hybrid Logics: Characterization, Interpolation and Complexity