Search results for "Kripke"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Ján Sefránek	A Kripkean Semantics for Dynamic Logic Programming.	LPAR	2000	DBLP DOI BibTeX RDF	dynamic logic programming, dynamic Kripke structure, updates, nonmonotonic reasoning, stable model, knowledge representation and reasoning, Kripke structure, knowledge evolution
98	Dmitrij P. Skvortsov	On the Predicate Logic of Linear Kripke Frames and some of its Extensions.	Stud Logica	2005	DBLP DOI BibTeX RDF	Intermediate predicate logics, Kripke sheaves, completeness and incompleteness, Kripke semantics
82	Gerard Allwein, Hilmi Demir, Lee Pike	Logics for Classes of Boolean Monoids.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	algebras of relations, Boolean monoids, correspondence theory, Kripke frames, relative modalities, CMOS circuits
82	Yu Zhang, David Nowak	Logical Relations for Dynamic Name Creation.	CSL	2003	DBLP DOI BibTeX RDF	Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi
74	Glenn Bruns, Patrice Godefroid	Generalized Model Checking: Reasoning about Partial State Spaces.	CONCUR	2000	DBLP DOI BibTeX RDF
71	Dov M. Gabbay	Introducing Reactive Kripke Semantics and Arc Accessibility.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
71	Albert Visser	Submodels of Kripke models.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): Primary: 03B20, 03C40, 03F50, Secondary: 03C90
69	Bernhard Josko	A Context Dependent Equivalence Relation Between Kripke Structures.	CAV	1990	DBLP DOI BibTeX RDF	temporal logic, bisimulation, reactive systems, modular specification, hierarchical design, Kripke structures
63	Benjamin Aminof, Thomas Ball, Orna Kupferman	Reasoning About Systems with Transition Fairness.	LPAR	2004	DBLP DOI BibTeX RDF
60	Heike Wehrheim	Bounded Model Checking for Partial Kripke Structures.	ICTAC	2008	DBLP DOI BibTeX RDF
60	Susmit Jha, R. K. Shyamasundar	Adapting Biochemical Kripke Structures for Distributed Model Checking.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
60	Jan Reiterman, Vera Trnková	Dynamic Algebras which are not Kripke Structures.	MFCS	1980	DBLP DOI BibTeX RDF
58	Matthias Baaz, Christian G. Fermüller	Intuitionistic Counterparts of Finitely-Valued Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures
58	Flemming Nielson, Hanne Riis Nielson	Layered Predicates.	REX Workshop	1992	DBLP DOI BibTeX RDF	partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations
58	Yutaka Miyazaki	Kripke Incomplete Logics Containing KTB.	Stud Logica	2007	DBLP DOI BibTeX RDF	KTB, Kripke incompleteness
58	Sebastiaan Terwijn	Kripke Models, Distributive Lattices, and Medvedev Degrees.	Stud Logica	2007	DBLP DOI BibTeX RDF	Medvedev degrees, intuitionistic propositional logic, Kripke semantics
53	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
53	Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge	Normative system games.	AAMAS	2007	DBLP DOI BibTeX RDF	complexity, games, logic, goals, normative systems
50	Wendy MacCaull, Dimiter Vakarelov	Lattice-Based Paraconsistent Logic.	RelMiCS	2005	DBLP DOI BibTeX RDF	lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics
50	Batsayan Das, Dipankar Sarkar 0001, Santanu Chattopadhyay	Model checking on state transition diagram.	ASP-DAC	2004	DBLP DOI BibTeX RDF	CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
50	Ján Sefránek	Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	autoepistemic logic of knowledge and belief, dynamic Kripke structure, model checking, belief revision, non-monotonic reasoning
47	Dmitrij P. Skvortsov	On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.	Stud Logica	2004	DBLP DOI BibTeX RDF	Intermediate predicate logics, recursive and finite axiomatizability, Kripke semantics
43	Saul Aaron Kripke	Gödel's Theorem and Direct Self-Reference.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
43	Saul Aaron Kripke	The collapse of the Hilbert Program: a variation on the GöDelian Theme.	Bull. Symb. Log.	2022	DBLP DOI BibTeX RDF
43	Saul Aaron Kripke	Ungroundedness in Tarskian Languages.	J. Philos. Log.	2019	DBLP DOI BibTeX RDF
43	Saul Aaron Kripke	Fregean Quantification Theory.	J. Philos. Log.	2014	DBLP DOI BibTeX RDF
43	Saul Kripke	From the Church-Turing Thesis to the First-Order Algorithm Theorem.	LICS	2000	DBLP DOI BibTeX RDF
43	Saul Kripke	A Completeness Theorem in Modal Logic.	J. Symb. Log.	1959	DBLP DOI BibTeX RDF
42	Orna Kupferman, Yoad Lustig	Latticed Simulation Relations and Games.	ATVA	2007	DBLP DOI BibTeX RDF
42	Michael Huth 0001, Radha Jagadeesan, David A. Schmidt	Modal Transition Systems: A Foundation for Three-Valued Program Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
42	Thomas A. Henzinger	Model Checking Game Properties of Multi-agent Systems (Abstract).	ICALP	1998	DBLP DOI BibTeX RDF
42	Jaques Riche, Robert K. Meyer	Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.".	CSL	1998	DBLP DOI BibTeX RDF
42	Dexter Kozen	A Representation Theorem for Models of *-Free PDL.	ICALP	1980	DBLP DOI BibTeX RDF
40	Hugo Herbelin, Gyesik Lee	Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.	WoLLIC	2009	DBLP DOI BibTeX RDF	Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
40	Matthias Baaz, Rosalie Iemhoff	On Interpolation in Existence Logics.	LPAR	2005	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
40	Olivier Hermant	Semantic Cut Elimination in the Intuitionistic Sequent Calculus.	TLCA	2005	DBLP DOI BibTeX RDF	intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo
39	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
39	Ernst-Erich Doberkat	Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.	TAMC	2009	DBLP DOI BibTeX RDF
39	Shogo Suzuki	A Note on Kripke's Observation.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
39	Sebastiaan Terwijn	Kripke Models, Distributive Lattices, and Medvedev Degrees.	CiE	2005	DBLP DOI BibTeX RDF
39	François Laroussinie, Nicolas Markey, Philippe Schnoebelen	On Model Checking Durational Kripke Structures.	FoSSaCS	2002	DBLP DOI BibTeX RDF
39	Michael Huth 0001	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
39	Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter	Categorical and Kripke Semantics for Constructive S4 Modal Logic.	CSL	2001	DBLP DOI BibTeX RDF
39	Samin S. Ishtiaq, David J. Pym	Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.	CSL	1999	DBLP DOI BibTeX RDF
39	Alessio Lomuscio, Mark Ryan 0001	On the Relation between Interpreted Systems and Kripke Models.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
39	Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Equivalences for Fair Kripke Structures.	ICALP	1994	DBLP DOI BibTeX RDF
37	Matthias Baaz, Fernando Galindo, Gerald Quirchmayr, Manuel Vázqez	The Application of Kripke-Type Structures to Regional Development Programs.	DEXA	1993	DBLP DOI BibTeX RDF	Kripke-type frames, legal expert systems, Modal logic
36	Dmitrij P. Skvortsov	Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete.	Advances in Modal Logic	2018	DBLP BibTeX RDF
36	Dmitrij P. Skvortsov	On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.	Stud Logica	1998	DBLP DOI BibTeX RDF
36	Kosta Dosen	Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
36	Nobu-Yuki Suzuki	Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics.	Stud Logica	1990	DBLP DOI BibTeX RDF
32	Jinzhao Wu, Lin Zhao	An Algebraic Approach to Multi-Valued Model Checking.	ACSD	2007	DBLP DOI BibTeX RDF
32	Norihiro Ogata	A Dynamic Semantics of Modal Subordination.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
32	Arie Gurfinkel, Marsha Chechik, Benet Devereux	Temporal Logic Query Checking: A Tool for Model Exploration.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
32	Cédric Roux, Emmanuelle Encrenaz	CTL May Be Ambiguous When Model Checking Moore Machines.	CHARME	2003	DBLP DOI BibTeX RDF
29	Dov M. Gabbay, Sérgio Marcelino	Modal Logics of Reactive Frames.	Stud Logica	2009	DBLP DOI BibTeX RDF	reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
29	Ernst Zimmermann	Predicate Logical Extensions of some Subintuitionistic Logics.	Stud Logica	2009	DBLP DOI BibTeX RDF	(sub)intuitionistic logic, predicate logic, Kripke semantics
29	Sergey Babenyshev, Vladimir V. Rybakov	Describing Evolutions of Multi-Agent Systems.	KES (1)	2009	DBLP DOI BibTeX RDF	multi-agent systems, satisfiability, decision algorithms, Kripke semantics, multi-modal logics
29	Stewart Shapiro	Reasoning with Slippery Predicates.	Stud Logica	2008	DBLP DOI BibTeX RDF	comparison class, supervaluation, sorites paradox, penumbral connection, conversational score, response-dependence, tolerance, Vagueness, contextualism, Kripke structures
29	Sergey Babenyshev, Vladimir V. Rybakov	Logic of Discovery and Knowledge: Decision Algorithm.	KES (2)	2008	DBLP DOI BibTeX RDF	Kripke-Hintikka models, rules in normal reduced form, modal logic, decidability, inference rules, chance discovery
29	Sergey Babenyshev, Vladimir V. Rybakov	Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms.	KES (3)	2008	DBLP DOI BibTeX RDF	multi-agent’s reasoning, Kripke/Hintikka models, linear temporal logic, hybrid logics, decision algorithms, plausibility
29	John Nolt	Reference and perspective in intuitionistic logics.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Intuitionism, Constructivism, Intuitionistic logic, Reference, Kripke semantics
29	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
29	Zhi-Hong Tao, Hans Kleine Büning, Lifu Wang	Direct Model Checking Matrix Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	direct model checking (DMC), Kripke semantics structure, CTL logic, matrix algorithm
29	Achille C. Varzi	Strict Identity with No Overlap.	Stud Logica	2006	DBLP DOI BibTeX RDF	Trans-World Identity, Counterpart Theory, Kripke, Lewis, Semantics vs. Metaphysics
29	Tadeusz Litak	Modal Incompleteness Revisited.	Stud Logica	2004	DBLP DOI BibTeX RDF	general frames, Kripke incompleteness, neighbourhood incompleteness, complete incompleteness, modal algebras
29	Morteza Moniri	Intuitionistic weak arithmetic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Fragments of Heyting Arithmetic, exp, Kripke Models
29	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
29	Steven Awodey, Florian Rabe 0001	Kripke Semantics for Martin-Löf's Extensional Type Theory.	TLCA	2009	DBLP DOI BibTeX RDF
29	Yefei Zhao, Zongyuan Yang, Jinkui Xie	Formal semantics of UML state diagram and automatic verification based on Kripke structure.	CCECE	2009	DBLP DOI BibTeX RDF
29	Francien Dechesne, Simona Orzan, Yanjing Wang 0001	Refinement of Kripke Models for Dynamics.	ICTAC	2008	DBLP DOI BibTeX RDF
29	Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis, Stefanos D. Kollias	Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics.	ICANN (1)	2008	DBLP DOI BibTeX RDF
29	Mai Gehrke	Generalized Kripke Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF
29	Hiroshi Nakano	Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness.	TACS	2001	DBLP DOI BibTeX RDF
29	Gerald Lüttgen, Michael Mendler	Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.	ICALP	2000	DBLP DOI BibTeX RDF
29	Healfdene Goguen	A Kripke-Style Model for the Admissibility of Structural Rules.	TYPES	2000	DBLP DOI BibTeX RDF
29	Sara Negri, Jan von Plato	From Kripke Models to Algebraic Counter-Valuations.	TABLEAUX	1998	DBLP DOI BibTeX RDF
21	Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal	A relational modal logic for higher-order stateful ADTs.	POPL	2010	DBLP DOI BibTeX RDF	local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations
21	Arnon Avron, Ori Lahav 0001	Canonical Constructive Systems.	TABLEAUX	2009	DBLP DOI BibTeX RDF
21	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
21	Kathrin Glüer, Peter Pagin	Relational Modality.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Definite descriptions, Necessity, Proper names, Rigid designators, Modality, Truth, Possible worlds semantics, Logical consequence
21	Dirk Pattinson, Lutz Schröder	Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.	FoSSaCS	2008	DBLP DOI BibTeX RDF
21	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Formula-Dependent Abstraction for CTL Model Checking.	ICCSA (2)	2008	DBLP DOI BibTeX RDF
21	Linda Buisman, Rajeev Goré	A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
21	Ryo Ishigaki, Kentaro Kikuchi	Tree-Sequent Methods for Subintuitionistic Predicate Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF
21	Alexander Kurz 0001, Jirí Rosický	The Goldblatt-Thomason Theorem for Coalgebras.	CALCO	2007	DBLP DOI BibTeX RDF
21	Patrick Blackburn, Balder ten Cate	Pure Extensions, Proof Rules, and Hybrid Axiomatics.	Stud Logica	2006	DBLP DOI BibTeX RDF	completeness, modal logic, Hybrid logic, proof rules, axiomatisation, nominals
21	John F. Sowa	Worlds, Models and Descriptions.	Stud Logica	2006	DBLP DOI BibTeX RDF	Dunn’s semantics, model sets, meaning-preserving translation, semiotics, laws, model theory, possible worlds, intentionality
21	Lutz Schröder, Till Mossakowski	Coalgebraic Modal Logic in CoCasl.	WADT	2006	DBLP DOI BibTeX RDF
21	Ernst-Erich Doberkat	Hyperfinite Approximations to Labeled Markov Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
21	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
21	Francesco Ranzato, Francesco Tapparo	Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Tadeusz Litak, Frank Wolter	All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.	Stud Logica	2005	DBLP DOI BibTeX RDF	frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic
21	Miguel Palomino, José Meseguer 0001, Narciso Martí-Oliet	A Categorical Approach to Simulations.	CALCO	2005	DBLP DOI BibTeX RDF
21	Be Birchall	Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras.	TbiLLC	2005	DBLP DOI BibTeX RDF
21	Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino	Theoroidal Maps as Algebraic Simulations.	WADT	2004	DBLP DOI BibTeX RDF
21	Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel	Multi-valued symbolic model-checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
21	Vladimir V. Rybakov	Barwise's information frames and modal logics.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
21	Orna Kupferman, Moshe Y. Vardi	Π2 ∩ Σ2 ≡ AFMC.	ICALP	2003	DBLP DOI BibTeX RDF
21	Morteza Moniri	H-theories, fragments of HA and PA-normality.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF